Axiomatizability of some many valued predicate calculi
نویسندگان
چکیده
منابع مشابه
On Some Fuzzy Categories of Many-Valued Topological Spaces
The aim of this paper is to construct some new fuzzy categories related to many-valued sets and many valued topologies and to consider their properties. Keywords— Fuzzy categories, GL-monoids, L-valued equalities, L-topologies and L-fuzzy topologies.
متن کاملStandard Fuzzy Sets and some Many - Valued Logics
After Zadeh has introduced his theory, many-valued logic began to have a new interest. Especially, Łukasiewicz logic was enclosed quite closely in fuzzy sets. There is a strong opinion that Łukasiewicz infinite-valued logic has the role as the logic of fuzzy sets, similarly as classical logic has the role as the logic of crisp sets. But actually, it seems that Kleene’s 3-valued logic was the cl...
متن کاملBinary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequent calculi (each sequent is a pair of formulae) for many valued logic with a finite set of truth values, and of Kripke-like semantics for it that is both sound and complete. We did not use the logic entailment based o...
متن کاملSequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics
We present a general framework that allows to construct systematically analytic calculi for a large family of (propositional) many-valued logics — called projective logics — characterized by a special format of their semantics. All finite-valued logics as well as infinite-valued Gödel logic are projective. As a case-study, sequent of relations calculi for Gödel logics are derived. A comparison ...
متن کاملTransporting many-valued sets along many-valued relations
The transport of L-sets along an L-relation R is considered, with L any residuated lattice, sometimes with further properties as to be a frame or an MV-algebra. Pairs of powerset operators related to R are considered and their basic properties are studied in a comprehensive discussion including some results already known. A few examples and suggestions for application and further development ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1961
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-50-2-165-190